Dr. Jan Koliha
نویسندگان
چکیده
منابع مشابه
Cv of Dr. Jan-georg Smaus 1.1 Logic Programming
Verification of logic programs with dynamic scheduling. My first work in this area was on programs using delay declarations, in particular, proving termination and absence of runtime errors for such programs [5, 6, 1, 28, 33]. I have developed a more abstract view of dynamic scheduling by defining the so-called input-consuming derivations [8, 28, 32, 34]. More powerful termination conditions we...
متن کامل∗ Jan
We formulate a complete path integral bosonization procedure for any fermionic theory in two dimensions. The classical action of the bosons in the bosonized theory is −i times the logarithm of the Jacobian of a local chiral transformation, with the boson fields as transformation parameters. Three examples, the Schwinger model, the massive Thirring model and massive non-Abelian bosonization, are...
متن کاملJan 2011
Online content have become an important medium to disseminate information and express opinions. With the proliferation of online document collections, users are faced with the problem of missing the big picture in a sea of irrelevant and/or diverse content. In this thesis, we addresses the problem of information organization of online document collections, and provide algorithms that create a s...
متن کاملDome_2 Jan
1 al said that knowledge acquisition does not necessarily mean successful application of the knowledge. What is more important is “Knowledge in action” and not the knowledge languishing in books or minds. Academic professionals need to possess not just the domainspecific knowledge but also greatly the ability to apply expeditiously knowledge and know-how, where and when needed. The gap between ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1939
ISSN: 0028-0836,1476-4687
DOI: 10.1038/1431057a0